Curriculum Vitae Aaditya V. Rangan Courant Institute of Mathematical Sciences, New York University, 251 Mercer Street, New York, NYphone: (, email: , webpage: http://www.cims.nyu.e

Source URL: www.math.nyu.edu

On the Modular Inversion Hidden Number Problem San Ling Div. of Mathematical Sciences, School of Physical and Mathematical Sciences, Nanyang Technological University, Singapore, 637371

Source URL: users.monash.edu.au

Contact topology and holomorphic invariants via elementary combinatorics∗ Daniel V. Mathews School of Mathematical Sciences Monash University

Source URL: www.danielmathews.info

• Symplectic topology
• Floer homology
• Contact geometry
• Symplectic manifold
• Topological quantum field theory
• Complex manifold
• Symplectic geometry
• Almost complex manifold
• 3-manifold
• Manifold
• Pseudoholomorphic curve
• Geometry Festival

ASE 380P 2-ANALYTICAL METHODS II EM386L MATHEMATICAL METHODS IN APPLIED MECHANICS II CAM 386L MATHEMATICAL METHODS IN APPLIED ENGINEERING AND SCIENCES Final Exam. Tuesday, May 15, 2012, 2-5 p.m., ACES 6.304

Source URL: users.ices.utexas.edu

Mishko Mitkovski* (), Department of Mathematical Sciences, Martin Hall, Clemson, SCFunction theory in Hilbert spaces with generalized frames. Preliminary report. A well known metho

Source URL: jointmathematicsmeetings.org

Homogeneity and Monotonicity of Distance-Rationalizable Voting Rules Edith Elkind School of Physical and Mathematical Sciences

Source URL: www.ifaamas.org

Simple Type Inference for Structural Polymorphism† Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

Source URL: www.math.nagoya-u.ac.jp

• Symbol
• Polymorphism

Loose Hamilton Cycles in Random Uniform Hypergraphs Andrzej Dudek and Alan Frieze∗ Department of Mathematical Sciences Carnegie Mellon University Pittsburgh, PA 15213

Source URL: homepages.wmich.edu

Programming with Polymorphic Variants Jacques Garrigue Research Institute for Mathematical Sciences Kyoto University, Kyoto, JAPAN

Source URL: www.math.nagoya-u.ac.jp

• Software engineering
• Type theory
• Programming language theory
• Computing
• Parametric polymorphism
• Polymorphism
• Type system
• Covariance and contravariance
• HindleyMilner type system
• Type inference
• Subtyping
• System F

The Undeniable Effectiveness of Mathematics in the Special Sciences Mark Colyvan∗ Abstract In many of the special sciences, mathematical models are used

Source URL: www.colyvan.com